EXTRA_DIST = $(srcdir)/Cheddar_Properties.aadl \
	$(srcdir)/User_Defined_Cheddar_Properties.aadl
